On the Portability of Prolog Applications

The non-portability of Prolog programs is widely considered one of the main problems facing Prolog programmers. Although since 1995, the core of the language is covered by the ISO standard 13211-1, this standard has not been sufficient to support large Prolog applications. As an approach to address this problem, since 2007, YAP and SWI-Prolog have established a basic compatibility framework. The aim of the framework is running the same code on Edinburgh-based Prolog systems rather than having to migrate an application. This article describes the implementation and evaluates this framework by studying how it can be used on a number of libraries and an important application. © 2011 Springer-Verlag

Neuroligin 1 is dynamically exchanged at postsynaptic sites

Neuroligins are postsynaptic cell adhesion molecules that associate with presynaptic neurexins. Both factors form a transsynaptic connection, mediate signaling across the synapse, specify synaptic functions, and play a role in synapse formation. Neuroligin dysfunction impairs synaptic transmission, disrupts neuronal networks, and is thought to participate in cognitive diseases. Here we report that chemical treatment designed to induce long-term potentiation or long-term depression (LTD) induces neuroligin 1/3 turnover, leading to either increased or decreased surface membrane protein levels, respectively. Despite its structural role at a crucial transsynaptic position, GFP-neuroligin 1 leaves synapses in hippocampal neurons over time with chemical LTD-induced neuroligin internalization depending on an intact microtubule cytoskeleton. Accordingly, neuroligin 1 and its binding partner postsynaptic density protein-95 (PSD-95) associate with components of the dynein motor complex and undergo retrograde cotransport with a dynein subunit. Transgenic depletion of dynein function in mice causes postsynaptic NLG1/3 and PSD-95 enrichment. In parallel, PSD lengths and spine head sizes are significantly increased, a phenotype similar to that observed upon transgenic overexpression of NLG1 (Dahlhaus et al., 2010). Moreover, application of a competitive PSD-95 peptide and neuroligin 1 C-terminal mutagenesis each specifically alter neuroligin 1 surface membrane expression and interfere with its internalization. Our data suggest the concept that synaptic plasticity regulates neuroligin turnover through active cytoskeleton transport

Confluence of CHR Revisited:Invariants and Modulo Equivalence

Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given system, as it may reduce the number of proof cases to consider from infinity to a finite number. The classical confluence results for Constraint Handling Rules (CHR) can be explained in this way, using CHR as a simulation of itself. Using an abstract simulation based on a ground representation, we extend these results to include confluence under invariant and modulo equivalence, which have not been done in a satisfactory way before.Comment: Pre-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

ALS-associated KIF5A mutations abolish autoinhibition resulting in a toxic gain of function

Understandingthepathogenicmechanismsof diseasemutations is critical toadvancingtreatments.ALS-associated mutations in the gene encoding the microtubulemotor KIF5A result in skipping of exon 27 (KIF5ADExon27) and the encoding of a protein with a novel 39 amino acid residue C-terminal sequence. Here, we report that expression of ALS-linked mutant KIF5A results in dysregulated motor activity, cellular mislocalization, altered axonal transport, and decreased neuronal survival. Single-molecule analysis revealed that the altered C terminus of mutant KIF5A results in a constitutively active state. Furthermore,mutant KIF5A possesses altered protein and RNA interactions and its expression results in altered gene expression/splicing. Taken together, our data support the hypothesis that causative ALS mutations result in a toxic gain of function in the intracellular motor KIF5A that disrupts intracellular trafficking and neuronal homeostasis

Neuromuscular Junction Defects in Mice with Mutation of dynein heavy chain 1

Disruptions in axonal transport have been implicated in a wide range of neurodegenerative diseases. Cramping 1 (Cra1/+) and Legs at odd angles (Loa/+) mice, with hypomorphic mutations in the dynein heavy chain 1 gene, which encodes the ATPase of the retrograde motor protein dynein, were originally reported to exhibit late onset motor neuron disease. Subsequent, conflicting reports suggested that sensory neuron disease without motor neuron loss underlies the phenotypes of Cra1/+ and Loa/+ mice. Here, we present behavioral and anatomical analyses of Cra1/+ mice. We demonstrate that Cra1/+ mice exhibit early onset, stable behavioral deficits, including abnormal hindlimb posturing and decreased grip strength. These deficits do not progress through 24 months of age. No significant loss of primary motor neurons or dorsal root ganglia sensory neurons was observed at ages where the mice exhibited clear symptomatology. Instead, there is a decrease in complexity of neuromuscular junctions. These results indicate that disruption of dynein function in Cra1/+ mice results in abnormal morphology of neuromuscular junctions. The time course of behavioral deficits, as well as the nature of the morphological defects in neuromuscular junctions, suggests that disruption of dynein function in Cra1/+ mice causes a developmental defect in synapse assembly or stabilization

Transcription Factor NF-κB Is Transported to the Nucleus via Cytoplasmic Dynein/Dynactin Motor Complex in Hippocampal Neurons

Mikenberg I, Widera D, Kaus A, Kaltschmidt B, Kaltschmidt C. Transcription Factor NF-kappa B Is Transported to the Nucleus via Cytoplasmic Dynein/Dynactin Motor Complex in Hippocampal Neurons. PLOS ONE. 2007;2(7):e589.Background. Long-term changes in synaptic plasticity require gene transcription, indicating that signals generated at the synapse must be transported to the nucleus. Synaptic activation of hippocampal neurons is known to trigger retrograde transport of transcription factor NF-kappa B. Transcription factors of the NF-kappa B family are widely expressed in the nervous system and regulate expression of several genes involved in neuroplasticity, cell survival, learning and memory. Principal Findings. In this study, we examine the role of the dynein/dynactin motor complex in the cellular mechanism targeting and transporting activated NF-kappa B to the nucleus in response to synaptic stimulation. We demonstrate that overexpression of dynamitin, which is known to dissociate dynein from microtubules, and treatment with microtubule-disrupting drugs inhibits nuclear accumulation of NF-kappa B p65 and reduces NF-kappa B-dependent transcription activity. In this line, we show that p65 is associated with components of the dynein/dynactin complex in vivo and in vitro and that the nuclear localization sequence (NLS) within NF-kappa B p65 is essential for this binding. Conclusion. This study shows the molecular mechanism for the retrograde transport of activated NF-kappa B from distant synaptic sites towards the nucleus

MAP1B Regulates Axonal Development by Modulating Rho-GTPase Rac1 Activity

This article shows a novel function for the MAP1B protein, related to the control of actin dynamics through interaction with Tiam1

Dysfunction of Heterotrimeric Kinesin-2 in Rod Photoreceptor Cells and the Role of Opsin Mislocalization in Rapid Cell Death

Loss of kinesin-2 function causes rapid death of rod photoreceptors. The cell death is dependent on the expression of opsin, which first accumulates along the route to the outer segment, but not on signaling by opsin-arrestin complexes or by light activation; the key element appears to be the accumulation of excessive protein in the wrong place